Providing Explanations via the EQR Argument Scheme

Providing Explanations for Database Schema Validation

We propose a new method for database schema validation that provides an explanation when it determines that a certain desirable property of a database schema does not hold. Explanations are required to give the designer a hint about the changes of the schema that are needed to fix the problem identified. Our method is an extension of the CQC method, which has been shown successful for testing s...

eqr 067 Competing Risks

Consider a unit which can experience any one of k competing failure types, and suppose that for each unit we observe the time to failure, T , and the type of failure, C ∈ {1, 2, . . . , k}. The case of observing the pair (T, C) is termed “competing risks” in the statistical literature. After considering some examples we review basic notation and theory of competing risks. In particular we consi...

using counterfactual analysis for providing historical explanations in social sciences

counterfactual analysis is concerned with explaining events that have not happened. counterfactuals are mental experiments through which one can reconstruct hypothetical versions of the history in one’s mind; these versions are relatively different from the real history, but provide one with the opportunity to test historical hypotheses against the available evidence. historicist researchers in...

Evolutionary Theory in Anthropology: Providing Ultimate Explanations for Human Behavior

Design Buddy: Providing Feedback for Sketched Multi-Modal Causal Explanations

An important problem for engineering students is learning how to communicate. Based on collaborations with engineering design instructors, we are creating a system, Design Buddy, that is intended to help students learn how to explain their designs. The input is a sketched comic strip with graphical annotations that indicate forces and motions, plus a structured language system that enables stud...